Nuprl Definition : w-info
0,22
postcript
pdf
w-info(
w
;
e
) == kindcase(kind(
e
);
a
.inl(<loc(
e
),
a
>);
l
,
tg
.inr(<<
l
,sender(
e
)>,
tg
>) )
latex
clarification:
w-info(
w
;
e
)
== kindcase(w-ekind(
w
;
e
);
a
.inl(<w-loc(
w
;
e
),
a
>);
l
,
tg
.inr(<<
l
,w-sender(
w
;
e
)>,
tg
>) )
latex
Definitions
kindcase(
k
;
a
.
f
(
a
);
l
,
t
.
g
(
l
;
t
) )
,
kind(
e
)
,
inl(
x
)
,
loc(
e
)
,
inr(
x
)
,
<
a
,
b
>
,
sender(
e
)
FDL editor aliases
w-info
origin